You have chosen Two-Dimensional Semantics, The Architecture of Mathematics and Two-Dimensional Semantics.
All three must be different; choose another text.